... program set station,程序设定操作器 program specification,程序规格说明 program validation,程序确认 ...
基于398个网页-相关网页
... 验收说瞄 acceptancespecification 程序说瞄 program specification ; program ecification 工序说瞄 specifications ...
基于188个网页-相关网页
...系统需求的条件,并进一步定出电脑该做些什么工作,又该如何去做,所以在此阶段又称为「程式规格(Program Specifications)阶段。而在本研究中,其系统设计架构主要延伸自第二章文献探讨所提的资料采撷架构,并加以修正。
基于26个网页-相关网页
...类 直觉主义逻辑的类型理论把公式作为类型,公式的证明是构造性的.从程序设计观点看,类型是程序规约 (Program specification),类型的元素是程序.在OOP中,类是一组对象的模板,它描述了这些对象的共同特 性,因此我们认为可把类作为一种类型,对象就是其...
基于24个网页-相关网页
program specification block [计] 程序说明块
Program Specification Information 节目专用信息 ; 了节目专用信息 ; 节目描述信息
program specification block generation 程序说明块产生
partial program specification 部分程序规格说明书
program specification block psb 程序说明块
program specification block description [计] 程序说明块描述
About simulation and verificationCyber nets are self-modifying nets. It is applied in concurrent program specification, the math modeling, industrial control and so on.
二、系统的模拟与验证自控网是一种自修正系统,主要用于并发系统中的程序规范以及工业控制中的数学建模等领域。
参考来源 - 基于Petri网的工作流建模与性质研究·2,447,543篇论文数据,部分数据来源于NoteExpress
Analyze Project requirement, write design specification or program specification.
书写设计需求和项目仕样书。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题,计画的准确的描述和证实。
First, there is the crosscutting specification, where you should ask yourself what parts of the program the concern affects.
首先是横切规范,它要回答的是关注点影响的是程序的哪些部分。
应用推荐